Scheduling in LLM Inference
🐍Python
Flag this post
I'm building a language that compiles Haskell-style Monads and RAII down to high-performance C. I call it Cicili
λFunctional Programming
Flag this post
How I repurposed async await to implement coroutines for a Game Boy emulator
⏳Async Rust
Flag this post
The “Jankiest” way of writing Ruby gems
mauricio.szabo.link·2h
🔵Clojure
Flag this post
I tested GPT-5.1 Codex against Sonnet 4.5, and it's about time Anthropic bros take pricing seriously.
📦Folly
Flag this post
Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
arxiv.org·2d
✓Formal Verification
Flag this post
The Yield Function
🦗Pest
Flag this post
Transaction-Oriented Programming
🧠Memory Models
Flag this post
OrKa v0.9.6: deterministic agent routing for local LLM stacks (multi factor scoring, OSS)
🦙Ollama
Flag this post
Understanding Go's Garbage Collector
🗑️Garbage Collection
Flag this post
Revolutionizing Code with TypeScript, Python, and AI: Closing the Dev Loop
🎭Program Synthesis
Flag this post
Generative AI and the P=NP problem
lesswrong.com·14h
🧮SMT Solvers
Flag this post
The Hare Programming Language
🐹golang
Flag this post
Continuous Claude – run Claude Code in a loop
🤖Automation
Flag this post
Loading...Loading more...